Equality and Equivalence, Intuitionistically
نویسندگان
چکیده
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. also study Vitali equivalence relation and there are intuitionistically precise versions it.
منابع مشابه
On Elementary Equivalence for Equality-free Logic
This paper is a contribution to the study of equality-free logic, that is, first-order logic without equality. We mainly devote ourselves to the study of algebraic characterizations of its relation of elementary equivalence by providing some Keisler-Shelah type ultrapower theorems and an Ehrenfeucht-Fraı̈ssé type theorem. We also give characterizations of elementary classes in equalityfree logic...
متن کاملOn the equivalence between welfarism and equality of opportunity
A welfarist way of allocating resources consists in 1) equipping individuals with comparable indices of their well-being and 2) applying a unique aggregation rule to individual well-being levels. An equality of opportunity way of allocating resources consists in 1) making the distinction between personal characteristics which are under and beyond individuals’ control, and 2) decreasing inequali...
متن کاملEquality of geometric Goppa codes and equivalence of divisors
We give necessary and sufficient conditions for two geometric Goppa codes CL(D,G) and CL(D,H) to be the same. As an application we characterize self-dual geometric Goppa codes.
متن کاملHow to implement Statecharts intuitionistically
To the best of our knowledge, this is the first work to present an implementation of Lüttgen and Mendler’s intuitionistic characterisation of Pnueli and Shalev’s step construction. However, the original step construction is faster for most Statecharts, because a non-compositional approach will almost always outperform any compositional one. For incremental code-generation or compositional verif...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic, epistemology, and the unity of science
سال: 2021
ISSN: ['2214-9783', '2214-9775']
DOI: https://doi.org/10.1007/978-3-030-53654-1_1